『せつラボ 〜圏論の基本〜』

https://gyazo.com/3eab387697c3acd1fe4fb5982c01254a

第1章 登場人物

η（えーた）

μ（みゅー）

第2章 (前書き)

ターゲットは数学の未入門者

第3章 始まり

- 3.1　せつめいするラボ

- 3.2　圏論とは何か

- 3.3　（本章での参考文献）

- 第4章　集合

- 4.1　集合と写像

- 4.2　行き「もと」と「さき」が同じ写像

- 4.3　まとめ

- 4.4　ノートの切れ端A

- 4.5　部分集合

- 4.6　（本章での参考文献）

- 第5章　Haskell

- 5.1　型と値

- 5.2　関数

- 5.3　発展的な型

- 5.4　型クラス

- 5.5　ghci

- 5.6　まとめ

- 5.7　ノートの切れ端B

- 5.8　（本章での参考文献）

- 第6章　休憩

- 第7章　用語

- 7.1　任意

- 7.2　存在

- 7.3　存在して一意

- 7.4　まとめ

- 7.5　ノートの切れ端C

- 7.6　（本章での参考文献）

- 第8章　圏

- 8.1　圏 = 対象と射の集まり

- 8.2　圏の具体例

- 8.3　まとめ

- 8.4　ノートの切れ端D

- 8.5　（本章での参考文献）

- 第9章　出会い

- 第10章　様々な対象と射

- 10.1　可換図式

- 10.2　対象の直積

- 10.3　対象の直和

- 10.4　ノートの切れ端E

- 10.5　（本章での参考文献）

- 第11章　関手

- 11.1　関手 = 圏から圏への対応

- 11.2　様々な関手

- 11.3　まとめ

- 11.4　ノートの切れ端F

- 11.5　（本章での参考文献）

- 第12章　終わり

- 第13章　（後書き）